Date: Tue, 05 Nov 1996 00:31:16 GMT
Server: NCSA/1.5
Content-type: text/html
Last-modified: Sat, 05 Oct 1996 13:07:44 GMT
Content-length: 7550

<html>
<head>
<title> CS 736 Paper Reading List</title>
</head>

<BODY>
<h1> CS 736 Paper Reading List</h1>
<!--
-->
<!WA0><a href="http://www.cs.wisc.edu/~bart/cs736-1.html">
<!WA1><img src="http://www.cs.wisc.edu/~bart/left-arrow.gif">
Return to CS736 home page.
</a>
<ol>

<h2>Memory Management</h2>

<a name="denning"><li></a>
Peter J. Denning,
"The Working Set Model of Program Behavior",
<i>Communications of the ACM</i>,
<b>11</b>
5,
May 1968,
pp. 323-333.

<a name="wsclock"><li></a>
Richard Carr,
John Hennessy,
"WSCLOCK - A Simple and Effective Algorithm for Virtual Memory Management",
<i>Proceedings of the 8th SOSP, Operating Systems Review</i>,
<b>15</b>
5,
December 1981,
pp. 87-95.

<a name="bsdpaging"><li></a>
Ozalp Babaoglu,
William Joy,
"Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits",
<i>Proceedings of the 8th SOSP, Operating Systems Review</i>,
<b>15</b>
5,
December 1981,
pp. 78-86.

<a name="machvm"><li></a>
Michael Young,
Avadis Tevanian,
Richard Rashid,
David Golub,
Jeffrey Eppinger,
Jonathan Chew,
William Bolosky,
David Black,
Robert Baron,
"The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System",
<i>Proceedings of the 11th SOSP, Operating Systems Review</i>,
<b>21</b>
5,
November 1987,
pp. 63-76.

<h2>Synchronization and Communication</h2>

<a name="syncsurvey"><li></a>
Gregory R. Andrews,
Fred. B. Schneider,
"Concepts and Notations for Concurrent Programming",
<i>ACM Computing Surveys</i>,
<b>15</b>
1,
March 1983,
pp. 3-44.
<li>
Butler W. Lampson,
David D. Redell,
"Experiences with Processes and Monitors in Mesa",
<i>Communications of the ACM</i>,
<b>23</b>
2,
February 1980,
pp. 105-117.
<li>
Hugh C. Lauer,
Roger M. Needham,
"On the Duality of Operating System Structures",
<i>Operating Systems Review</i>,
<b>13</b>
2,
April 1979,
pp. 3-19.

<h2>Protection and Security</h2>
<li>
Anita K. Jones,
William A. Wulf,
"Towards the Design of Secure Systems",
<i>Software - Practice and Experience</i>,
<b>5</b>
4,
1975,
pp. 321-336.
<li>
Frederick T. Gramp,
Robert H. Morris,
"UNIX Operating System Security",
<i>AT&T Bell Laboratories Technical Journal</i>,
<b>63</b>
8,
October 1984,
pp. 1649-1672.
<li>
Gerald J. Popek,
Charles S. Kline,
"Encryption and Secure Computer Networks",
<i>Computing Surveys</i>,
<b>11</b>
4,
December 1979,
pp. 331-356.
<li>
J. G. Steiner,
C. Neuman,
J. I. Schiller,
"Kerberos: An Authentication Service for Open Network Systems",
<i>USENIX '88</i>,
Dallas, TX,
February 1988,
pp. 191-202.

<h2>Kernels</h2>
<li>
David D. Redell,
Yogen K. Dalal,
Thomas R. Horsley,
Hugh C. Lauer,
William C. Lynch,
Paul R. McJones,
Hal G. Murray,
Stephen C. Purcell,
"Pilot: An Operating System for a Personal Computer",
<i>Communications of the ACM</i>,
<b>23</b>
2,
February 1980,
pp. 81-92.
<li>
Barton P. Miller,
David L. Presotto,
Michael L. Powell,
"DEMOS/MP: The Development of a Distributed Operating System",
<i>Software-Practice & Experience</i>,
<b>17</b>
4,
April 1987,
pp. 277-290.
<li>
David R. Cheriton,
Willy Zwaenepoel,
"The Distributed V Kernel and its Performance for Diskless Workstations",
<i>Proceedings of the 9th SOSP, Operating Systems Review</i>,
<b>17</b>
5,
November 1983,
pp. 129-140.
<li>
Brian D. Marsh,
Michael L. Scott,
Thomas J. LeBlanc,
Evangelos P. Markatos,
"First-Class User-Level Threads",
<i>Proceedings of the 13th SOSP, Operating Systems Review</i>,
<b>25</b>
5,
October 1991,
pp. 110-121.
<li>
Henry Massalin,
Carlton Pu,
"Theads and Input/Output in the Synthesis Kernel",
<i>Proceedings of the 12th SOSP, Operating Systems Review</i>,
<b>23</b>
5,
December 1989,
pp. 191-201.
<li>
Graham Hamilton,
Panos Kougiouris,
"The Spring Nucleus: A Microkernel for Objects",
<i>1993 Summer USENIX Conference</i>,
Cincinatti,
June 1993,
pp. 3-44.

<h2>File Systems</h2>
<li>
M.K McKusick,
W. N. Joy,
S. J. Leffler,
R. S. Fabry,
"A Fast File System for UNIX",
<i>ACM Trans. on Computer Systems</i>,
<b>2</b>
3,
August 1984,
pp. 181-197.
<li>
Bruce Walker,
Gerald Popek,
Robert English,
Charles Kline,
Greg Thiel,
"The LOCUS Distributed Operating System",
<i>Proceedings of the 9th SOSP, Operating Systems Review</i>,
<b>17</b>
5,
November 1983,
pp. 49-70.
<li>
David K. Gifford,
Robert N. Needham,
Michael D. Schroeder,
"The Cedar File System",
<i>Communications of the ACM</i>,
<b>31</b>
3,
pp. 288-297.
March 1988,
<li>
Mendel Rosenblum,
John K. Ousterhout,
"The Design and Implementation of a Log-Structured File System",
<i>Proceedings of the 10th SOSP, Operating Systems Review</i>,
<b>25</b>
5,
pp. 1-15.
October 1991,
<li>
Russel Sandberg,
David Goldberg,
Steve Kleiman,
Dan Walsh,
Bob Lyon,
"Design and Implementation of the Sun Network File Systems",
Sun Microsystems Inc.
<li>
John H. Howard,
Michael L. Kazar,
Sherri G. Menees,
David A. Nichols,
M. Satyanarayanan,
Robert N. Sidebotham,
Michael J. West,
"Scale and Performance in a Distributed File System",
<i>ACM Transactions on Computer Systems</i>,
<b>6</b>
1,
pp. 51-81.
February 1988,
<li>
James J. Kistler,
M. Satyanarayanan,
"Disconnected Operation in the Coda File System",
<i>Proceedings of the 10th SOSP, Operating Systems Review</i>,
<b>25</b>
5,
pp. 213-225.
October 1991,

<h2>Distributed Systems</h2>
<li>
Andrew D. Birrell,
Roy Levin,
Roger M. Needham,
Michael D. Schroeder,
"Grapevine:  An Exercise in Distributed Computing",
<i>Communications of the ACM</i>,
<b>25</b>
4,
April 1982,
pp. 260-274.
<li>
Andrew D. Birrell,
Bruce Jay Nelson,
"Implementing Remote Procedure Calls",
<i>ACM Transactions on Computer Systems</i>,
<b>2</b>
1,
February 1984,
pp. 39-59.
<li>
Rob Pike,
David L. Presotto,
Ken Thompson,
Howard Trickey,
"Plan 9 from Bell Labs",
<i>Proceedings of the 1990 USENIX Conference</i>,

<h2>Experience and Systems Reports</h2>
<li>
Hugh C. Lauer,
"Observations on the Development of an Operating System",
<i>Proceedings of the 8th SOSP, Operating Systems Review</i>,
<b>15</b>
5,
December 1981,
pp. 30-36.
<li>
Butler W. Lampson,
"Hints for Computer System Design",
<i>Proceedings of the 9th SOSP, Operating System Review</i>,
<b>17</b>
5,
pp. 33-48.
October 1983,

<h2>Reliability and Recovery</h2>
<li>
David K. Gifford,
"Weighted Voting for Replicated Data",
<i>Proceedings of the 7th SOSP, Operating Systems Review</i>,
<b>13</b>
5,
pp. 150-169.
1979,
<li>
Jacques-Louis Lions,
Lennart Lebeck,
Jean-Luc Fauquembergue,
Gilles Kahn,
Wolfgang Kubbat,
Stefan Levedag,
Leonardo Mazzini,
Didier Merle Thomson,
Colin O'Halloran,
"ARIANE 5 Flight 501 Failure: Report by the Inquiry Board",
European Space Agency Report,
Paris, July 1996.
URL:
<!WA2><a href="http://www.esrin.esa.it/htdocs/tidc/Press/Press96/ariane5rep.html">
<tt>http://www.esrin.esa.it/htdocs/tidc/Press/Press96/ariane5rep.html</tt></a>
or
<!WA3><a href="http://www.cs.wisc.edu/~bart/ariane5rep.html">
<tt>http://www.cs.wisc.edu/~bart/ariane5rep.html</tt></a>.
<li>
Bruce J. Walker,
Richard A. Kemmerer,
Gerald J. Popek,
"Specification and Verification of the UCLA Unix Security Kernel",
<i>Communications of the ACM</i>,
<b>23</b>
2,
February 1980,
pp. 118-131.

<h2>Technical Writing</h2>
<li>
Donald Knuth,
"Notes on Technical Writing",
<i>Unpublished article</i>,
<li>
Desiree Thalley,
"Know how to write the right way?",
<i>Wisconsin State Journal</i>,
Sunday, November 18, 1984,
pp. 6.
<li>
Roy Levin,
David D. Redell,
"An Evaluation of the 9th SOSP Submissions",
<i>Operating Systems Review</i>,
<b>17</b>
3,
July 1983,
pp. 35-40.
</ol>

<hr>
<H4>
Last modified:
Fri Oct  4 08:04:27 CDT 1996
by
<!WA4><a href="http://www.cs.wisc.edu/~bart">bart</a></b>
</H4>
</body>
